définition : on dit qu'un élément \(a\in E\) est symétrisable s'il existe un autre élément \(\bar a\in E\) tel que \(a*\bar a=\bar a*a=e\)
(Elément opposé - Inverse additif)
Théorème :
Si \(a\in E\) est symétrisable, alors il est simplifiable
(Elément simplifiable)